Finding definitions in Standard ML